Skip to content

ci: check PR title#375

Merged
weichweich merged 3 commits intodevelopfrom
aw-check-pr-title
Jun 28, 2022
Merged

ci: check PR title#375
weichweich merged 3 commits intodevelopfrom
aw-check-pr-title

Conversation

@weichweich
Copy link
Contributor

@weichweich weichweich commented Jun 28, 2022

ci: check PR titles

@weichweich weichweich changed the title ci: check PR title ci: Check PR Title Jun 28, 2022
@weichweich weichweich changed the title ci: Check PR Title ci: check PR title Jun 28, 2022
@weichweich weichweich requested a review from ntn-x2 June 28, 2022 12:42
@weichweich weichweich enabled auto-merge (squash) June 28, 2022 12:50
Copy link
Contributor

@ntn-x2 ntn-x2 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👌

@weichweich weichweich merged commit 40c48d5 into develop Jun 28, 2022
@weichweich weichweich deleted the aw-check-pr-title branch June 28, 2022 13:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants